/* Pretty simple stylesheet for CSS: adjust font-family, color, background-color to taste */

body{font-size:85%; margin:0; padding:0 5px; 
font-family: Georgia, Verdana,sans-serif; 
color:navy; 
background:white;
}
h1,h2,h3,h4,h5,h6 {margin-top:.5em; margin-bottom:.1em; 
font-family:Verdana,sans-serif;
color:darkred; 
}
table {font-size:100%}
th, td {vertical-align:top;}
a {color:darkgreen; text-decoration:none}
a:hover{ color:white; background-color:darkgreen; text-decoration:none;}

pre, code {color:black; background-color:white; font-size:8pt}
p {margin-top:.3em; margin-bottom:.7em}
ul {list-style-type:disc}
li {margin-bottom:.3em}
hr {color:darkred; background-color:darkred}
h1 {margin-top:0}

/* Public domain: found at http://www.unverse.net/whizzery/simple.css */